Weighted least squares proof